4. A Course on Mathematical Logi
پدیدآورنده: / by Shashi Mohan Srivastava
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Mathematics,Computer science,Algebra,Logic, Symbolic and mathematical,Electronic books
رده :
E-BOOK
5. An invitation to applied category theory :
پدیدآورنده: Brendan Fong, David I. Spivak.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Categories (Mathematics),Computable functions.,Logic, Symbolic and mathematical.,Mathematical analysis.,Categories (Mathematics),Computable functions.,Logic, Symbolic and mathematical.,Mathematical analysis.
رده :
QA9
.
25
.
F66
2019
6. An invitation to applied category theory :
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Categories (Mathematics) ; Computable functions. ; Logic, Symbolic and mathematical. ; Mathematical analysis. ;
7. Applications of Category Theory to Fuzzy Subsets
پدیدآورنده: edited by Stephen Ernest Rodabaugh, Erich Peter Klement, Ulrich Höhle.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algebra.,Geometry.,Mathematics.
8. Axiomatic method and category theory
پدیدآورنده: Rodin, Andrei, Andrei Rodin
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع: ، Axiomatic set theory,، Categories )Mathematics(,، Philosophy,، Epistemology,، Category Theory, Homological Algebra,، Mathematical Logic and Foundations
رده :
QA248
10. Categorical Topology
پدیدآورنده: edited by Eraldo Giuli.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algebra.,Logic, Symbolic and mathematical.,Mathematics.
11. Categorical algebra and its applications
پدیدآورنده: F. Borceux, ed
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algebra, Homological, Congresses,Categories (Mathematics), Congresses
12. Categories in Computer Science and Logic : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held June 14-20, 1987
پدیدآورنده: John W. Gray and Andre Scedrov, editors
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer science -- Mathematics,Congresses ، Categories )Mathematics(
رده :
QA
76
.
9
.
M35A57
1987
13. Categories in computer science and logic :
پدیدآورنده: John W. Gray and Andre Scedrov, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Categories (Mathematics), Congresses.,Computer science-- Mathematics, Congresses.,Catégories (Mathématiques), Congrès.,Informatique-- Mathématiques, Congrès.,Categories (Mathematics),Catégories (Mathématiques)-- Congrès.,Computer science-- Mathematics.,Informatique-- Mathématiques-- Congrès.
رده :
QA76
.
9
.
M35
A47
1987
14. Categories in computer science and logic : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held June 14-20, 1987 with support from the National Science Foundation
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Computer science-- Mathematics-- Congresses,، Categories )Mathematics(--Congresses
رده :
QA
76
.
9
.
M35
.
A47
1987
15. Category theory and computer science :
پدیدآورنده: D.H. Pitt [and others] (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Categories (Mathematics), Congresses.,Computer science, Congresses.,Catégories (Mathématiques)-- Congrès.,Informatique, Congrès.,Categorieën (wiskunde),Categories (Mathematics),Categories (Mathematics), Congresses.,Catégories (mathématiques)-- Congrès.,Computer science.,Computers.,Datenverarbeitung,Informatik,Kategorientheorie,Kongress,Logic, Symbolic and mathematical, Congresses.
رده :
QA75
.
5
.
S86
1991
16. Fuzzy set theory :
پدیدآورنده: Michael Smithson, Jay Verkuilen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Fuzzy sets.,Social sciences-- Mathematics.,Empirische Sozialforschung,Fuzzy sets.,Fuzzy sets.,Fuzzy-Menge,Fuzzy-Statistik,Mathematical logic.,Mathematik,Research methodology.,Set theory.,SOCIAL SCIENCE-- Methodology.,Social sciences-- Mathematics.,Social sciences.,Sozialwissenschaften
رده :
H61
.
25
.
S652
2006eb
17. Great circle of mysteries :
پدیدآورنده: Misha Gromov.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Mathematics.,Nature.,MATHEMATICS-- Essays.,MATHEMATICS-- Pre-Calculus.,MATHEMATICS-- Reference.,Mathematics.,Nature.
رده :
QA36
18. Handbook of Logic and Proof Techniques for Computer Science
پدیدآورنده: by Steven G. Krantz.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic design.,Mathematics.
رده :
QA76
.
B978
2002
19. Handbook of categorical algebra
پدیدآورنده: / Francis Borceux
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Categories (Mathematics),Mathematical logic
رده :
QA169
.
B67
1994
20. Higher operads, higher categories /
پدیدآورنده: Tom Leinster.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Categories (Mathematics),Operads.
رده :
QA169
.
L44
2004eb
